discrete topological space

离散拓扑空间